subtraction rule